$\forall$$A$:$\mathbb{P}$. (True $\vee$ $A$) $\Leftarrow\!\Rightarrow$ True